Traducción y análisis de palabras por inteligencia artificial
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
эффективное расстояние - traducción al francés
Definición
Wikipedia
Конструктивное доказательство — доказательство, в котором существование математического объекта доказывается путем прямого построения — в отличие от неконструктивного доказательства (также известного как чистая теорема существования), которое доказывает существование объекта с определёнными свойствами без предоставления конкретного примера.
Конструктивная математика отвергает всё, кроме конструктивного доказательства. Это приводит к ограничению на допустимые методы доказательства (в частности, закон исключенного третьего не используется), а также другому пониманию терминов. Например, термин «или» имеет более сильное значение в конструктивной математике, чем в классической.
Иногда используется эквивалентный термин «эффективное доказательство».
